Hazard analysis of collision avoidance system using STPA
نویسندگان
چکیده
As our society becomes more and more dependent on IT systems, failures of these systems can harm more and more people and organizations both public and private. Diligently performing risk and hazard analysis helps to minimize the societal harms of IT system failures. In this paper we present experiences gained by applying the System Theoretic Process Analysis (STPA) method for hazard analysis on a forward collision avoidance system. Our main objectives are to investigate effectiveness in terms of the number and quality of identified hazards, and time efficiency in terms of required efforts of the studied method. Based on the findings of this study STPA has proved to be an effective and efficient hazard analysis method for assessing the safety of a safety-critical system and it requires a moderate level of effort.
منابع مشابه
Model - Based Analysis of Socio - Technical Risk 1
Traditional approaches to hazard analysis and safety-related risk management are based on an accident model that focuses on failure events in static engineering designs and linear notions of causality. They are therefore limited in their ability to include complex human decision-making, software errors, system accidents (versus component failure accidents), and organizational risk factors in th...
متن کاملOpen Tool Support for System-Theoretic Process Analysis
STPA (System-Theoretic Process Analysis) is a new hazard analysis technique which builds on STAMP, a process and accident model using concepts of system and control theory. In this paper, we present A-STPA an open tool to help transform STPA to an executable STPA which automates the activities of STPA. We develop the A-STPA tool to assist safety analysts in performing STPA. Moreover, it will gi...
متن کاملSW-STPA: A Software Hazard Analysis Technique based on STPA
As the uses of software are various, software is germane to human's life and property. Thus, the importance of software safety increases rapidly and many hazard analysis techniques are used for safety of system/software. STAMP/STPA is an efficient hazard analysis technique for large and complex system. But subject of STAMP/STPA is system, not software. This difference of subjects makes difficul...
متن کاملA Formal, Systematic Approach to STPA using Event-B Refinement and Proof
System-Theoretic Process Analysis (STPA) from Leveson is a technique for hazard analysis developed to identify more thoroughly the causal factors in complex safety-critical systems, including software design errors. Event-B is a proof-based modelling language and method that enables the development of specifications using a formal notion of refinement. We propose an approach to hazard analysis ...
متن کاملExperiences with Applying STPA to Software-Intensive Systems in the Automotive Domain
Hazard analysis is one of the most important elements in developing safe-critical systems. STPA (SystemsTheoretic Process Analysis) is a modern technique based on the new accident causation model STAMP (System-Theoretic Accident Model and Process) for analyzing hazard and safety issues, which can be applied early in the design process of a system to achieve an acceptable risk level. We have app...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014